Årbog for Dansk Skolehistorie, 1967

Dansk Datamatik Center

In 1979, a software research and development center was created to demonstrate the power of systematic and formal methods in software development. One of the first and biggest projects at Dansk Datamatik Center (DDC) was to develop an Ada compiler and run-time system. DDC made the first department of Defense (DoD) validated Ada compiler in Europe, and the Ada project was carried on in a subsidi...

Dansk Fundamental Metrologi • Danish Fundamental Metrology

This report describes a pilot comparison of resistance measurements performed between Danish Fundamental Metrology(DFM), Lyngby, Denmark, and Semiconductor Physics Institute (SPI), Vilnius, Lithuania, at resistance values 100 Ω and 10kΩ. Dansk resumé: Denne rapport beskriver en pilotsammenligning af måling af resistans mellem Dansk Fundamental Metrologi (DFM), Lyngby, Danmark, og Semiconductor ...

En automatisk navnegjenkjenner for norsk, svensk og dansk

I dette foredraget vil vi presentere et prosjekt som nettopp har kommet i gang, og som har fått NOK 1 000 000 fra NorFA til et nordisk nettverk. Prosjektet har to siktemål som henger nøye sammen. Det ene er å bygge nettverk mellom fire forskningsog utviklingsmiljøer ved UiO (Tekstlaboratoriet), UiB (HIT-senteret), GU (Språkdata) og CST. Det andre er praktisk: å utvikle en automatisk navnegjenkj...

Leonard Colebrook, 1883-1967.

Hilbert , David ( 1967 ) Paul

axiomatics. A main feature of Hilbert’s axiomatization of geometry is that the axiomatic method is presented and practiced in the spirit of the abstract conception of axiomatics that arose at the end of the nineteenth century and which has been generally adopted in modern mathematics. It consists in abstracting from the intuitive meaning of the terms for the kinds of primitive objects (individu...